An Annotated Embedded Systems Bibliography

Barr [4] is a readable general introduction that focuses on mundane issues such as compilers, linkers, and target boards. Brown [12] is another very practical book, discussing such issues as compilers, linking, and interrupt latency. The book contains an extensive example of a pilot control panel. Simon [38] is more comprehensive than Barr, speaking of RTOSes. Burns and Wellings [14] is an academic text aimed at graduate students. Grehan and Cyliax [25] talks more about RTOSes. Ganssle [24] is a broad survey, covering issues such as which tools to buy. Probably fairly dated by now. Wolf’s textbook [41] is aimed at undergraduates. Bentham [5] talks about implementing TCP/IP, both for “normal” systems and finally an incredibly stripped-down version that runs on a tiny 8-bit PIC microcontroller. Thomas and Moorby [40] is the standard reference on Verilog, a widely-used language for modeling and specifying digital hardware. Ellsberger et al. [19] is the most readable book on SDL, a graphical language used mostly in Europe to describe telecommunication protocols. The first two chapters of Thoen and Catthoor [39] give a reasonable overview of some embedded systems issues. The rest of the book is devoted to their Petrinet-like model for embedded software. Gajski et al. [21] resembles Thoen and Catthoor [39] in that the early chapters are a reasonable survey of what’s going on in the field. The rest describe their particular little-used modeling language. A later book [22] describes another of their hardware/software modeling languages. Balarin et al. [3] is a complete reference on POLIS, an academic tool designed mostly for the synthesis of automotive controllers that laid the foundation for Cadence’s commercial VCC tool. Gallmeister [23] describes the POSIX.4 standard, the real-time extensions to the Unix-centric POSIX standards. It’s rather a heavyweight interface, not